En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.^[1]​^[2]​^[2]​ Los números naturales se representan con la ℕ = {1, 2, 3, 4, …}.^[3]​ De dos números vecinos, el que se encuentra a la derecha se llama siguiente o sucesivo,^[4]​ por lo que el conjunto de los números naturales es ordenado e infinito.

El conjunto de todos los números naturales iguales o menores que cierto número natural ${\displaystyle k}$, es decir, el conjunto ${\displaystyle \{1,2,\dots ,k-1,k\}}$, se llama segmento de una sucesión natural y se denota ${\displaystyle |1,k|}$ o bien ${\displaystyle [k]}$.^[4]​